Nuprl Definition : int_iseg
9,38
postcript
pdf
{
i
...
j
} == {
k
:
| (
i
k
)
(
k
j
)}
latex
Definitions
{
x
:
A
|
B
(
x
)}
,
,
P
Q
,
A
B
FDL editor aliases
int_iseg
origin
| (i 
k) 
(k j)} | (i k) (k j)} Q B